利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

排序法在某类弹药寿命分析中的应用研究

将排序法应用于无失效弹药贮存寿命试验数据的统计分析 ,介绍了排序法的基本思想 ,并计算了某类弹药的平均贮存寿命置信下界。     

新条件下Fourier级数L~p可积性的研究

小样本多元数据分析和数据压缩、编码等是装备维修与故障分析中的常用技术,这些技术的理论研究常常归结到用函数的Fourier系数刻画可积函数类问题。研究了正弦级数和余弦级数属于Lp函数类的条件,建立了在NBVS假设条件下的判别准则,推广了已有结果。